Ralf Treinen: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Records for logic programming

Gert Smolka, Ralf Treinen

Journal:

The Journal of Logic Programming

Year:

1994

Language:

english

File:

PDF, 2.23 MB

english, 1994

2

A new method for undecidability proofs of first order theories

Journal:

Journal of Symbolic Computation

Year:

1992

Language:

english

File:

PDF, 1.07 MB

english, 1992

3

On rewrite constraints and context unification

Joachim Niehren, Sophie Tison, Ralf Treinen

Journal:

Information Processing Letters

Year:

2000

Language:

english

File:

PDF, 68 KB

english, 2000

4

Grid structures and undecidable constraint theories

Franck Seynhaeve, Sophie Tison, Marc Tommasi, Ralf Treinen

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 317 KB

english, 2001

5

The first-order theory of lexicographic path orderings is undecidable

Hubert Comon, Ralf Treinen

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 1.30 MB

english, 1997

6

The first-order theory of linear one-step rewriting is undecidable

Journal:

Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 758 KB

english, 1998

7

Reducing Equational Theories for the Decision of Static Equivalence

Steve Kremer, Antoine Mercier, Ralf Treinen

Journal:

Journal of Automated Reasoning

Year:

2012

Language:

english

File:

PDF, 454 KB

english, 2012

8

How to Win a Game with Features

Rolf Backofen, Ralf Treinen

Journal:

Information and Computation

Year:

1998

Language:

english

File:

PDF, 494 KB

english, 1998

9

Intruder deduction for the equational theory of Abelian groups with distributive encryption

Pascal Lafourcade, Denis Lugiez, Ralf Treinen

Journal:

Information and Computation

Year:

2007

Language:

english

File:

PDF, 701 KB

english, 2007

10

Symbolic protocol analysis for monoidal equational theories

Stéphanie Delaune, Pascal Lafourcade, Denis Lugiez, Ralf Treinen

Journal:

Information and Computation

Year:

2008

Language:

english

File:

PDF, 700 KB

english, 2008

11

A modular package manager architecture

Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli

Journal:

Information and Software Technology

Year:

2013

Language:

english

File:

PDF, 747 KB

english, 2013

12

[ACM Press the 15th ACM SIGSOFT symposium - Bertinoro, Italy (2012.06.25-2012.06.28)] Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering - CBSE '12 - Learning from the future of component repositories

Abate, Pietro, Di Cosmo, Roberto, Treinen, Ralf, Zacchiroli, Stefano

Year:

2012

Language:

english

File:

PDF, 490 KB

english, 2012

13

[Lecture Notes in Computer Science] Rewriting Techniques and Applications Volume 5595 ||

Year:

2009

Language:

english

File:

PDF, 6.37 MB

english, 2009

14

[IEEE 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) - Tokyo (2006.09.18-2006.09.22)] 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) - Managing the Complexity of Large Free and Open Source Package-Based Software Distributions

Mancinelli, Fabio, Boender, Jaap, Cosmo, Roberto, Vouillon, Jerome, Durak, Berke, Leroy, Xavier, Treinen, Ralf

Year:

2006

Language:

english

File:

PDF, 311 KB

english, 2006

15

Learning from the future of component repositories

Abate, Pietro, Di Cosmo, Roberto, Treinen, Ralf, Zacchiroli, Stefano

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 1.17 MB

english, 2014

16

Dependency solving: A separate concern in component evolution management

Abate, Pietro, Di Cosmo, Roberto, Treinen, Ralf, Zacchiroli, Stefano

Journal:

Journal of Systems and Software

Year:

2012

Language:

english

File:

PDF, 1.00 MB

english, 2012

17

[Lecture Notes in Computer Science] Constraints in Computational Logics Volume 2002 || Building Industrial Applications with Constraint Programming

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Comon, Hubert, Marché, Claude, Treinen, Ralf

Year:

2001

Language:

english

File:

PDF, 860 KB

english, 2001

18

[Lecture Notes in Computer Science] Constraints in Computational Logics Volume 2002 ||

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Comon, Hubert, Marché, Claude, Treinen, Ralf

Year:

2001

Language:

english

File:

PDF, 3.88 MB

english, 2001

19

[ACM Press the 29th ACM/IEEE international conference - Vasteras, Sweden (2014.09.15-2014.09.19)] Proceedings of the 29th ACM/IEEE international conference on Automated software engineering - ASE '14 - Automated synthesis and deployment of cloud applications

Di Cosmo, Roberto, Lienhardt, Michael, Treinen, Ralf, Zacchiroli, Stefano, Zwolakowski, Jakub, Eiche, Antoine, Agahi, Alexis

Year:

2014

Language:

english

File:

PDF, 1.05 MB

english, 2014

20

[Lecture Notes in Computer Science] Constraints in Computational Logics Volume 2002 || Functional and Constraint Logic Programming

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Comon, Hubert, Marché, Claude, Treinen, Ralf

Year:

2001

Language:

english

File:

PDF, 527 KB

english, 2001

21

[ACM Press the 29th ACM SIGPLAN-SIGACT symposium - Portland, Oregon (2002.01.16-2002.01.18)] Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '02 - The first-order theory of subtyping constraints

Su, Zhendong, Aiken, Alexander, Niehren, Joachim, Priesnitz, Tim, Treinen, Ralf

Year:

2002

Language:

english

File:

PDF, 478 KB

english, 2002

22

[ACM Press the 1st international workshop - Amsterdam, The Netherlands (2009.08.24-2009.08.24)] Proceedings of the 1st international workshop on Open component ecosystems - IWOCE '09 - Expressing advanced user preferences in component installation

Treinen, Ralf, Zacchiroli, Stefano

Year:

2009

Language:

english

File:

PDF, 431 KB

english, 2009

23

Automata for unordered trees

Boiret, Adrien, Hugot, Vincent, Niehren, Joachim, Treinen, Ralf

Journal:

Information and Computation

Year:

2016

Language:

english

File:

PDF, 1.48 MB

english, 2016

24

The first-order theory of subtyping constraints

Su, Zhendong, Aiken, Alexander, Niehren, Joachim, Priesnitz, Tim, Treinen, Ralf

Journal:

ACM SIGPLAN Notices

Year:

2002

Language:

english

File:

PDF, 478 KB

english, 2002

25

[ACM Press the 14th international ACM Sigsoft symposium - Boulder, Colorado, USA (2011.06.20-2011.06.24)] Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering - CBSE '11 - MPM

Abate, Pietro, DiCosmo, Roberto, Treinen, Ralf, Zacchiroli, Stefano

Year:

2011

Language:

english

File:

PDF, 472 KB

english, 2011

26

[ACM Press the 11th ACM SIGPLAN International Conference - Boston, MA, USA (2018.11.05-2018.11.06)] Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering - SLE 2018 - Morbig: a static parser for POSIX shell

Régis-Gianas, Yann, Jeannerod, Nicolas, Treinen, Ralf

Year:

2018

Language:

english

File:

PDF, 311 KB

english, 2018

27

Logics for unordered trees with data constraints

Boiret, Adrien, Hugot, Vincent, Niehren, Joachim, Treinen, Ralf

Journal:

Journal of Computer and System Sciences

Year:

2019

File:

PDF, 1008 KB

2019

28

Logics for unordered trees with data constraints

Boiret, Adrien, Hugot, Vincent, Niehren, Joachim, Treinen, Ralf

Journal:

Journal of Computer and System Sciences

Year:

2019

Language:

english

File:

PDF, 1008 KB

english, 2019

29

Morbig: A Static Parser for POSIX Shell

RÃ©gis-Gianas, Yann, Jeannerod, Nicolas, Treinen, Ralf

Journal:

Journal of Computer Languages

Year:

2020

File:

PDF, 1.04 MB

2020